<?xml version="1.0" ?>
<!DOCTYPE PISI SYSTEM "http://www.pisilinux.org/projeler/pisi/pisi-spec.dtd">
<PISI>
    <Source>
        <Name>ppl</Name>
        <Homepage>http://www.cs.unipr.it/ppl/</Homepage>
        <Packager>
            <Name>Serdar Soytetir</Name>
            <Email>kaptan@pisilinux.org</Email>
        </Packager>
        <License>GPLv3</License>
        <IsA>app:console</IsA>
        <IsA>library</IsA>
        <Summary>Pharma Polyhedra library</Summary>
        <Description>ppl is the Parma Polyhedra Library that provides numerical abstractions for analysis of complex systems.</Description>
        <Archive sha1sum="56c3e4cf3be90e11dfdd877b449adedc26cd8ec9" type="tarxz">http://bugseng.com/external/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz</Archive>
        <BuildDependencies>
            <!-- gmp with cxx support is needed -->
            <Dependency>gmp-devel</Dependency>
            <Dependency>glpk-devel</Dependency>
        </BuildDependencies>
    </Source>

    <Package>
        <Name>ppl</Name>
        <RuntimeDependencies>
            <Dependency>gmp</Dependency>
            <Dependency>glpk</Dependency>
            <Dependency>libgcc</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="executable">/usr/bin</Path>
            <Path fileType="library">/usr/lib</Path>
            <Path fileType="doc">/usr/share/doc/COPYING</Path>
            <Path fileType="doc">/usr/share/doc/CREDITS</Path>
            <Path fileType="doc">/usr/share/doc/README</Path>
            <Path fileType="doc">/usr/share/doc/NEWS</Path>
            <Path fileType="man">/usr/share/man</Path>
        </Files>
    </Package>

    <Package>
        <Name>ppl-docs</Name>
        <PartOf>system.doc</PartOf>
        <Summary>Documentation for ppl</Summary>
        <RuntimeDependencies>
            <Dependency>ppl</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="doc">/usr/share/doc/ppl</Path>
        </Files>
    </Package>

    <Package>
        <Name>ppl-devel</Name>
        <Summary>Development files for ppl</Summary>
        <RuntimeDependencies>
            <Dependency release="current">ppl</Dependency>
            <Dependency>gmp-devel</Dependency>
            <Dependency>libgcc</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="executable">/usr/bin/ppl-config</Path>
            <Path fileType="header">/usr/include</Path>
            <Path fileType="data">/usr/share/aclocal</Path>
            <Path fileType="man">/usr/share/man/man3</Path>
        </Files>
    </Package>

    <History>
        <Update release="3">
            <Date>2017-02-09</Date>
            <Version>1.2</Version>
            <Comment>Rebuild.</Comment>
            <Name>PisiLinux Community</Name>
            <Email>admin@pisilinux.org</Email>
        </Update>
        <Update release="2">
            <Date>2016-04-27</Date>
            <Version>1.2</Version>
            <Comment>Release Bump</Comment>
            <Name>PisiLinux Community</Name>
            <Email>admin@pisilinux.org</Email>
        </Update>
        <Update release="1">
            <Date>2016-03-13</Date>
            <Version>1.2</Version>
            <Comment>First release</Comment>
            <Name>Alihan Öztürk</Name>
            <Email>alihan@pisilinux.org</Email>
        </Update>
    </History>
</PISI>
